range: use new GtkBoxGadget API instead of removing/inserting
authorCosimo Cecchi <cosimoc@gnome.org>
Wed, 24 Feb 2016 19:43:06 +0000 (11:43 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Feb 2016 18:45:13 +0000 (10:45 -0800)
commit6401e2405e19bd58db6dd826d7baa9926bcbd95f
tree59c5ee00f03ef533f876454cdd88edb86e487798
parent06776d3d2fdfce734395739480bef721daf12608
range: use new GtkBoxGadget API instead of removing/inserting
gtk/gtkrange.c